predicate\_rev\_implies($T$;$P_{1}$;$P_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$predicate\_implies($T$;$P_{2}$;$P_{1}$)